Gilles Barthe (u. A.) | Verification, Model Checking, And Abstract...

Lenore D. Zuck (u. A.) | Verification, Model Checking, And Abstract...

Fritz Henglein (u. A.) | Verification, Model Checking, And Abstract...

Deepak D'souza (u. A.) | Verification, Model Checking, And Abstract...

Xavier Rival (u. A.) | Verification, Model Checking, And Abstract

Agostino Cortesi | Verification, Model Checking, And Abstract

Verification, Model Checking, And Abstract Interpretation | Henglein

Francesco Logozzo (u. A.) | Verification, Model Checking, And

Markus Müller-olm (u. A.) | Verification, Model Checking, And

Roberto Giacobazzi (u. A.) | Verification, Model Checking, And

K. Rustan M. Leino (u. A.) | Verification, Model Checking, And

Model Checking Abstract State Machines 6717

Doron A. Peled (u. A.) | Model Checking And Artificial Intelligence |

Gilles Barthe (u. A.) | Construction And Analysis Of Safe, Secure,

Kirsten Winter | Model Checking Abstract State Machines | Taschenbuch

Ernst-rüdiger Olderog (u. A.) | Model Checking, Synthesis, And